%%% Local Variables:
%%% mode: latex
%%% coding: utf-8-unix
%%% End:
